プロセス代数とその応用⑤ CCS:Cheers!! Computer Science - 共立出版コンピュータサイエンス誌『bit』